$\forall$$i$:$\mathbb{N}$. $i$ $\geq$ 0